Introduction to the Configware Minitrack: Hardware and Software Come Closer
نویسنده
چکیده
Hardware design methods come closer to software engineering. Proven techniques are further ahead than common awareness of them. Behavioral Synthesis means hardware compilation rather than CAD: Hardware compilation from register-transfer level sources or even from high-level programs like C sources. The programmer “programs” by himself the hardware he needs. This has become reality by novel dynamically reconfigurable hardware platforms (see papers by Becker/Schmidt, Eisenring/Teich). The paper by Postula et al. shows, that such “programming the hardware” is much more efficient than classical hardware design and even High-level Synthesis. The papers of this minitrack introduce methods to use such platforms for “programming” the hardware, as well as related application development tools (see paper by Gardner et al.). Dramatic speedups have been obtained by software migration onto such platforms (also see paper by Suyama et al.). From “classical” compilation techniques, including parallelizing compilation, a rich methodology is available for adaptation to the hardware compilation problem and
منابع مشابه
Introduction to the Configware Minitrack From glue logic synthesis to reconfigurable computing systems
While reconfigurable computing was rather unknown several years ago, more recent projects have been established dealing with new directions of this topic. In fact, for particular application areas reconfigurable hardware has already proven to achieve a performance, which is superior to that of conventional processor solutions. Application development proceeds in moving out of its logic-design-o...
متن کاملOn Implementing a Configware/Software SAT Solver
This paper presents an implementation of the configware/software SAT solver proposed in FCCM'O1 [11. This is the first actually implemented hardware accelerated solver that can dispense with instance-specific compilation, and is capable of handling SAT formulas of virtually any size.
متن کاملIntroduction to Emergency Response Systems Minitrack
In its third year, this minitrack deals with any aspect of the analysis, design, development, deployment, operation, or evaluation of emergency response systems (ERS). In particular, the minitrack seeks to encourage research on three areas that are pertinent to ERS: (i) tools, functionality, and/or interface the system that provide to human users involved with emergency and crisis response; (ii...
متن کاملSolving SAT with a Context-Switching Virtual Clause Pipeline and an FPGA Embedded Processor
This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling between configware and software. The virtual circuit is an arbitrarily large clause pipeline, partitioned into sections of a number of stages (hardware pages), which can fit in the configware. The hardware performs logical implicati...
متن کاملIntroduction to the Internet and Process Reengineering Minitrack
The objective of this minitrack is to provide a forum for researchers to exchange and disseminate ideas in the area of process technologies and reengineering, particularly on the use of the Internet technology. The focus of the minitrack is on bringing together research papers that explore issues related to the development, deployment, and management of information technologies for improving th...
متن کامل